#include<iostream>

using namespace std;

typedef long long LL;

LL ans = 0;

int n;

int main()
{
	cin >> n;
	int cur_coin = 1;
	while(n)
	{
		for(int i = 1; i <= cur_coin; i++)
		{
			ans += cur_coin;
			n--;
			if(n == 0) break;
		}
		cur_coin++;
	}
	cout << ans << endl;
	return 0;
}
